Skip to content

Conversation

k1k
Copy link

@k1k k1k commented Nov 16, 2022

Only merge rule-sets when there are extra rules in the location, otherwise just re-use the rule-set of the parent

Only merge rulesets when there are extra rules in the location,
otherwise just re-use the ruleset of the parent
@airween
Copy link
Member

airween commented Apr 16, 2024

Hi @k1k, we've added a CI workflow to this repository. Could you pick up the modifications and send your patch again? It would be fine to run those tests - thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants